Prikry on Extenders, Revisited
نویسنده
چکیده
We present a modification to the Prikry on Extenders forcing notion allowing the blow up of the power set of a large cardinal, change its cofinality to ω without adding bounded subsets, working directly from arbitrary extender (e.g., n-huge extender). Using this forcing, starting from a superstrong cardinal κ, we construct a model in which the added Prikry sequences are a scale in the normal Prikry sequence.
منابع مشابه
Combining Short extenders forcings with Extender based Prikry
Change first the cofinality of κ to ω by adding a Prikry sequence ⟨κn | n < ω⟩ such that each κn is κ +n+2 n –strong. Then use the short extenders forcing which adds κ +ω+2 many cofinal ω-sequences to κ (after the preparation or simultaneously with it). All cardinals will be preserved then. If one does not care about falling of κ, then preform Gap 2 short extenders forcing. As a result κ will t...
متن کاملSupercompact extender based Prikry forcing
The extender based Prikry forcing notion is being generalized to supercompact extenders.
متن کاملThe short extenders gap two forcing is of Prikry type
We show that Gitik’s short extender gap-2 forcing is of Prikry
متن کاملPrikry Forcing with Long Extenders
In this note, we go through Gitik’s Long Extender forcing. In order to motivate it, work through the basic Pirkry forcing as well as the diagonal Prikry forcing. The presentation here is based on Spencer Unger’s lectures from the 2015 GSST in addition to Gitik’s Handbook chapter.
متن کاملAn Iteration Model violating the Singular Cardinals Hypothesis
Models of Set Theory showing exotic behaviour at singular cardinals are usually constructed via forcing. The archetypical method is Prikry-Forcing [Pr1970], which has been generalized in various ways, as for example by Gitik and Magidor [GiMa1992]. It was observed early that Prikry generic sequences can be obtained as successive critical points in an iteration of the universe V by a normal ultr...
متن کامل